Splitting definably compact groups in o-minimal structures
نویسندگان
چکیده
منابع مشابه
Definably Simple Groups in O-minimal Structures
Let G = 〈G, ·〉 be a group definable in an o-minimal structure M. A subset H of G is G-definable if H is definable in the structure 〈G, ·〉 (while definable means definable in the structure M). Assume G has no Gdefinable proper subgroup of finite index. In this paper we prove that if G has no nontrivial abelian normal subgroup, then G is the direct product of G-definable subgroups H1, . . . ,Hk s...
متن کاملO-minimal cohomology and definably compact definable groups
LetN an o-minimal expansion of a real closed field. We develop the cohomology theory for the category ofN -definable manifolds with continuous N -definable maps and use this to solve the Peterzil-Steinhorn problem [ps] on the existence of torsion points onN -definably compact N -definable abelian groups. Namely we prove the following result: Let G be an N -definably compact N -definably connect...
متن کاملOn Central Extensions and Definably Compact Groups in O-minimal Structures
We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields such as (i) G is definably an almost direct product of a semisimple group and a commutative group, (ii) (G, ·) is elementarily equivalent to (G/G, ·). We also prove results on the internality of finite covers of G in an o-minimal environment, as well as deducing the full compact domin...
متن کاملO-minimal cohomology with definably compact supports
We define here the o-minimal cohomology theory with definably compact supports and prove that this theory is invariant in elementary extensions, in o-minimal expansions and coincides with its topological analogue for o-minimal structures in the real numbers. As an application we show that on definably locally compact definable sets the o-minimal Euler characteristic coincides with the Euler-Poi...
متن کاملDefinably compact abelian groups
Let M be an o–minimal expansion of a real closed field. Let G be a definably compact definably connected abelian n–dimensional group definable in M. We show the following: the o–minimal fundamental group of G is isomorphic to Z; for each k > 0, the k–torsion subgroup of G is isomorphic to (Z/kZ), and the o–minimal cohomology algebra over Q of G is isomorphic to the exterior algebra over Q with ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2011
ISSN: 0022-4812,1943-5886
DOI: 10.2178/jsl/1309952529